Formal system - PDFSEARCH.IO - Document Search Engine

Formal system
Results: 1034

#	Item
311	The Content and Possible Effects of the Cross-Strait Economic Cooperation Framework Agreement (ECFA) After three rounds of formal negotiation held in January, March, and June, 2010, Chairman P.K. Chiang of the Taipei-bas Add to Reading List Source URL: ttf.textiles.org.tw Language: English - Date: 2010-07-19 22:32:20 Liwan District Xiguan PTT Bulletin Board System
312	Sumatra (SW 3.1) Integration and System Test Plan Plan of Record Page 4 of 4 Sumatra (SW 3.1) Integration and System Test Plan Overview The following test plan describes the formal testing to be performed by the Integrat Add to Reading List Source URL: www.rbcs-us.com Language: English - Date: 2009-10-01 16:35:15 Quality control Test strategy Test case Unit testing Test automation Test harness Regression testing Manual testing Test suite Software testing Software quality Quality assurance
313	doi: Add to Reading List Source URL: www.psych.unito.it Language: English - Date: 2012-10-03 11:32:54 Formal languages Lisp programming language Dichotomies Literal and figurative language Regular expression Expression Idiom Type system Representation Literature Fiction Semantics
314	Computational approaches to analyze complex dynamic systems: model-checking and its applications. Part 4: Models and algorithms to analyze large-scale concurrent systems: approaches inspired by pi-calculus and static ana Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2013-04-15 19:28:16 Applied mathematics Theoretical computer science Automata theory Systems Petri net Formal verification Finite-state machine Algorithm Dynamical system Models of computation Concurrency Computer science
315	Synthesizing Matrix Interpretations via Backward Completion∗ Dieter Hofbauer ASW – Berufsakademie Saarland, Germany Add to Reading List Source URL: www.imn.htwk-leipzig.de Language: English - Date: 2013-08-26 10:13:14 Applied mathematics Rewriting Semi-Thue system Structure Formal languages Theoretical computer science Mathematics
316	cba This is a chapter from the book System Design, Modeling, and Simulation using Ptolemy II This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License. To view a copy of this license, v Add to Reading List Source URL: ptolemy.eecs.berkeley.edu Language: English - Date: 2013-10-01 19:39:43 Science Semantic Web Knowledge engineering Technical communication Web Ontology Language Frame language Upper ontology Formal ontology Ontology Information Knowledge representation
317	Mark A. Parsons National Snow and Ice Data Center/World Data Center for Glaciology, Boulder Data and Scientists in a Sustained Arctic Observing Network The central requirement of a Sustained Arctic Observing Network (SAO Add to Reading List Source URL: www.arcticobserving.org Language: English - Date: 2015-03-05 04:12:37 Knowledge CCSDS Formal sciences Glaciology National Snow and Ice Data Center Open Archival Information System International Polar Year Consultative Committee for Space Data Systems Geographic information system Science Earth sciences Committees
318	All You Ever Wanted to Know About Dynamic Taint Analysis and Forward Symbolic Execution (but might have been afraid to ask) Edward J. Schwartz, Thanassis Avgerinos, David Brumley Carnegie Mellon University Pittsburgh, PA Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Symbolic execution Symbol Algorithm Computing KeY Dynamical system Applied mathematics Formal methods Computer programming Taint checking
319	NBD(NIST Big Data) Requirements WG Use Case Template Aug[removed]Use Case Title Radar Data Analysis for CReSIS Vertical (area) Scientific Research: Polar Science and Remote Sensing of Ice Sheets Author/Company/Email Add to Reading List Source URL: bigdatawg.nist.gov Language: English - Date: 2013-08-24 08:14:34 Cartography Formal sciences Emerging technologies Geographic information system Remote sensing Big data Data analysis Data MATLAB Science Technology Software
320	All You Ever Wanted to Know About Dynamic Taint Analysis and Forward Symbolic Execution (but might have been afraid to ask) Edward J. Schwartz, Thanassis Avgerinos, David Brumley Carnegie Mellon University Pittsburgh, PA Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2012-03-12 11:18:03 Symbolic execution Symbol Algorithm Computing KeY Dynamical system Applied mathematics Formal methods Computer programming Taint checking

UPDATE